wumpus world propositional logic